конструктивное доказательство

конструктивное доказательство

 

конструктивное доказательство
 —
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

  • энергетика в целом

EN

  • constructive argument


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужен реферат?

Смотреть что такое "конструктивное доказательство" в других словарях:

  • КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ —         в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …   Философская энциклопедия

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия

  • Конструктивное направление —         в математике, математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики. К концу 19 в. в математике возникло неконструктивное, теоретико множественное… …   Большая советская энциклопедия

  • Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия

  • доказательство конструктивное — см.: Конструктивная логика …   Словарь терминов логики

  • ДРАГАЛИН —     ДРАГАЛИН Альберт Григорьевич (1942 18 декабря 1998, Дебрецен, Венгрия) один из крупнейших российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции конструктивного направления.     Получил… …   Философская энциклопедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • Зависимый тип — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Зависимый тип, в информатике и логике  тип, который зависит от значения. Зависимые… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»